issues
search
aripiprazole
/
ekko
📘 | Writing Haskell in Kotlin article's project
https://whik.devgabi.me
The Unlicense
7
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
style: fix code typos
#45
aripiprazole
closed
1 year ago
0
style: remove detekt `Filename` rule
#44
aripiprazole
closed
1 year ago
0
fix ktlint issues
#43
aripiprazole
opened
1 year ago
1
refactor: use context-receivers instead of using file parameters
#42
aripiprazole
closed
1 year ago
0
replace `file` parameters with context receivers in transformers
#41
aripiprazole
closed
1 year ago
0
feat: add location in `ParsedForall` and `ParsedType`
#40
aripiprazole
closed
1 year ago
0
add location to ParsedType and ParsedForall
#39
aripiprazole
closed
1 year ago
0
19 create group types
#38
aripiprazole
closed
1 year ago
0
15 create forall
#37
aripiprazole
closed
1 year ago
0
35 rename selaed classes
#36
aripiprazole
closed
1 year ago
0
rename selaed classes
#35
aripiprazole
closed
1 year ago
0
build: make the kotlin compilation depends on parser generation instead of java
#34
aripiprazole
closed
1 year ago
0
run generateParserSource in compileKotlin task
#33
aripiprazole
closed
1 year ago
0
build: make the kotlin compilation depends on java
#32
aripiprazole
closed
1 year ago
0
run grammar generation task before compileKotlin
#31
aripiprazole
closed
1 year ago
0
ci: update jdk version to 16
#30
aripiprazole
closed
1 year ago
0
fix check workflow java version
#29
aripiprazole
closed
1 year ago
0
14 parse symbols
#28
aripiprazole
closed
1 year ago
0
26 use the default antlr plugin
#27
aripiprazole
closed
1 year ago
0
use the default antlr plugin
#26
aripiprazole
closed
1 year ago
0
7 rename infer class to typer
#25
aripiprazole
closed
2 years ago
0
20 improve error handling
#24
aripiprazole
closed
2 years ago
0
refac: improve the forall constructor
#23
aripiprazole
closed
2 years ago
0
improve forall constructor
#22
aripiprazole
closed
2 years ago
0
2 create a tree folder inside steps
#21
aripiprazole
closed
2 years ago
0
improve error handling
#20
aripiprazole
closed
2 years ago
0
create group types
#19
aripiprazole
closed
1 year ago
0
use a global substitution
#18
aripiprazole
opened
2 years ago
0
enums
#17
aripiprazole
opened
2 years ago
0
implement the resolver
#16
aripiprazole
opened
2 years ago
0
create forall
#15
aripiprazole
closed
1 year ago
0
parse symbols
#14
aripiprazole
closed
1 year ago
1
create do-notation syntax
#13
aripiprazole
opened
2 years ago
0
create type class typer
#12
aripiprazole
opened
2 years ago
0
implement an ident based parser
#11
aripiprazole
opened
2 years ago
0
create type class syntax
#10
aripiprazole
opened
2 years ago
0
make the typer elaborate a new tree
#9
aripiprazole
opened
2 years ago
0
type classes
#8
aripiprazole
opened
2 years ago
0
rename infer class to typer
#7
aripiprazole
closed
2 years ago
0
create qualified input
#6
aripiprazole
opened
2 years ago
0
create type declaration syntax
#5
aripiprazole
opened
2 years ago
0
create module syntax
#4
aripiprazole
opened
2 years ago
0
create global declarations syntax
#3
aripiprazole
opened
2 years ago
0
create a `tree` folder inside steps
#2
aripiprazole
closed
2 years ago
0
name resolving
#1
aripiprazole
opened
2 years ago
0