Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
Commits · master
strema
Browse files
Mar 20, 2021
fix a bug with record access on non-existing label
· 35f2b7b7
gilmi
authored
Mar 20, 2021
35f2b7b7
Mar 13, 2021
mention giml
· c0caa75c
gilmi
authored
Mar 13, 2021
c0caa75c
Mar 10, 2021
whoops forgot the other side of TypeRecExt ~ TypeRec
· 185351b2
gilmi
authored
Mar 10, 2021
185351b2
Add type inference into the compilation pipeline
· 00a559fa
gilmi
authored
Mar 10, 2021
00a559fa
Infer FFI
· ff5a8598
gilmi
authored
Mar 10, 2021
ff5a8598
Pattern matching on records
· cc0f5b30
gilmi
authored
Mar 10, 2021
cc0f5b30
Infer record literals, record selection and extension
· e36b45e0
gilmi
authored
Mar 10, 2021
e36b45e0
Fix pattern matching on booleans
· d71aa4c0
gilmi
authored
Mar 10, 2021
d71aa4c0
Mar 09, 2021
add cabal v2-update command to instructions
· 0c9c637a
gilmi
authored
Mar 09, 2021
0c9c637a
Add instructions to build with cabal
· 76f4bd3b
gilmi
authored
Mar 09, 2021
76f4bd3b
update docs for sub -> block name change
· a6f8b04f
gilmi
authored
Mar 09, 2021
a6f8b04f
Mar 08, 2021
display youtube playlist instead of first video in website
· 0cedb53d
gilmi
authored
Mar 08, 2021
0cedb53d
Adding more documentation for strema-language modules
· 64e0527c
gilmi
authored
Mar 08, 2021
64e0527c
Rename Sub to Block
· 49a2404e
gilmi
authored
Mar 08, 2021
49a2404e
Mar 07, 2021
adding dante targets
· 11364461
gilmi
authored
Mar 07, 2021
11364461
fix links in haddock index
· 0d727261
gilmi
authored
Mar 07, 2021
0d727261
Update run example in the readme
· 1e5973f1
gilmi
authored
Mar 07, 2021
1e5973f1
Restructure the project into 3 packages
· ac9bdc65
gilmi
authored
Mar 07, 2021
ac9bdc65
Move reserved words handling to JS.Pretty and remove some identifier symbols support
· cdf05668
gilmi
authored
Mar 07, 2021
cdf05668
Adding a few more comments to the Infer module
· 50dd0c69
gilmi
authored
Mar 07, 2021
50dd0c69
Infer pattern matching
· de9f6a40
gilmi
authored
Mar 07, 2021
de9f6a40
adding a let_polymorphism test
· 593993a4
gilmi
authored
Mar 07, 2021
593993a4
Elaborate variants
· b9c928a5
gilmi
authored
Mar 07, 2021
b9c928a5
Infer with builtins env
· 55603524
gilmi
authored
Mar 07, 2021
55603524
Try to auto generate haddocks for strema
· 37295008
gilmi
authored
Mar 07, 2021
37295008
Mar 06, 2021
Document the rest of the Infer module
· 93f536a2
gilmi
authored
Mar 06, 2021
93f536a2
Document the elaboration phase in code
· 060a841c
gilmi
authored
Mar 06, 2021
060a841c
We'd like to keep the source position around after type checking
· 8ec9bc45
gilmi
authored
Mar 06, 2021
8ec9bc45
Mar 05, 2021
changing _tag to _constr so it will be display first in record pp
· a0930e49
gilmi
authored
Mar 05, 2021
a0930e49
Fix pretty issue
· 17106356
gilmi
authored
Mar 05, 2021
17106356
Mar 04, 2021
Adding Strema <-> JS comparison to website
· 9e9fbcaa
gilmi
authored
Mar 05, 2021
9e9fbcaa
Some js pp improvements
· 24c26d9c
gilmi
authored
Mar 05, 2021
24c26d9c
Remove ElabTerm in favor of ElabInfo
· 4cd898e5
gilmi
authored
Mar 04, 2021
4cd898e5
Mar 03, 2021
fix broken link
· 09a3cbed
gilmi
authored
Mar 03, 2021
09a3cbed
Inference for subroutines and function definitions, let polymorphism
· f341c89e
gilmi
authored
Mar 03, 2021
f341c89e
fix typos
· dbdd55f7
gilmi
authored
Mar 03, 2021
dbdd55f7
Mar 02, 2021
language reference document
· 2dd8664f
gilmi
authored
Mar 02, 2021
2dd8664f
website
· 18c33c5a
gilmi
authored
Mar 02, 2021
18c33c5a
Mar 01, 2021
logos
· 1f2fb630
gilmi
authored
Mar 01, 2021
1f2fb630
Feb 28, 2021
Infer lambdas and function calls
· 29ad75ab
gilmi
authored
Feb 28, 2021
29ad75ab
Loading