Second Datke secondwtq
secondwtq
/ 271118.txt
Last active
November 27, 2018 17:11
This file has been truncated, but you can view the full file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| else_if = { | |
| limit = { | |
| check_variable = { sin_angle = 0.0001 } | |
| } | |
| set_temp_variable = { cos_angle = 0.9999 } | |
| } | |
| else_if = { | |
| limit = { | |
| check_variable = { sin_angle = 0.0002 } | |
| } |
secondwtq
/ EGIU-guide.txt
Last active
May 16, 2019 06:22
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Present & Past | |
| the Matt question | |
| Present perfect and past | |
| the weather question | |
| the camera question | |
| the it ... raining question | |
| the NY question | |
| the I wasn't sure who she was question | |
| Future | |
| the coming to cinema with us question |
secondwtq
/ pass_type_check.ml
Last active
February 23, 2020 16:58
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (* Implementation of Local Bidirectional Type Inference | |
| * Based on: | |
| * Jones, Simon L. Peyton, Dimitm. | |
| *) | |
| (* | |
| * Tau Type - Monotype | |
| * Rho Type - Tau | Sigma Sigma | |
| * (the second form of Rho is absent in Rank-1 system) |
secondwtq
/ curses_highlight.py
Created
May 14, 2015 06:55
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # -*- coding: utf-8 -*- | |
| import pygments | |
| import pygments.lexers | |
| import pygments.formatters | |
| import curses | |
| formatter_default = pygments.formatters.TerminalFormatter() | |
| def highlight(code): |
OlderNewer