Commits · main · gilmi / giml-lang

28 Apr, 2021 1 commit
- Logging support · ac555f3e
  gilmi authored Apr 28, 2021
  
  ac555f3e
04 Apr, 2021 1 commit
- Implementing polymorphic variants (minus type syntax) · d9c98b69
  gilmi authored Apr 04, 2021
  
  d9c98b69
03 Apr, 2021 1 commit
- overview.org - describing polymorphic variants · 2b6b348c
  gilmi authored Apr 03, 2021
  
  2b6b348c
31 Mar, 2021 1 commit
- REPL skeleton · 6b1fdd60
  gilmi authored Mar 31, 2021
  
  6b1fdd60
24 Mar, 2021 1 commit
- Adding more haddocks · 203ee993
  gilmi authored Mar 24, 2021
  
  203ee993
13 Mar, 2021 1 commit
- fix broken link · 13c5a8bd
  gilmi authored Mar 13, 2021
  
  13c5a8bd
12 Mar, 2021 1 commit
- Renaming Strema to Giml · c1acd11d
  gilmi authored Mar 12, 2021
  
  c1acd11d
09 Mar, 2021 1 commit
- update docs for sub -> block name change · a6f8b04f
  gilmi authored Mar 09, 2021
  
  a6f8b04f
07 Mar, 2021 1 commit
- Adding a few more comments to the Infer module · 50dd0c69
  gilmi authored Mar 07, 2021
  
  50dd0c69
05 Mar, 2021 1 commit
- changing _tag to _constr so it will be display first in record pp · a0930e49
  gilmi authored Mar 05, 2021
  
  a0930e49
03 Mar, 2021 2 commits
- Inference for subroutines and function definitions, let polymorphism · f341c89e
  gilmi authored Mar 03, 2021
  
  f341c89e
- fix typos · dbdd55f7
  gilmi authored Mar 03, 2021
  
  dbdd55f7
28 Feb, 2021 1 commit
- Type inference skeleton · ca23cf54
  gilmi authored Feb 28, 2021
  
  ca23cf54
17 Feb, 2021 2 commits
- Record extension, types and datatypes, builtins. · 93e80576
  gilmi authored Feb 17, 2021
  
  93e80576
- Remove some warnings · f8e70252
  gilmi authored Feb 17, 2021
  
  f8e70252
14 Feb, 2021 1 commit
- Implement variants and pattern matching · 983d03f0
  gilmi authored Feb 14, 2021
  
  983d03f0