Skip to content
GitLab
Explore
Sign in
Register
Artin Ghasivand
haskell
Repository
Branches
Overview
Active
Stale
All
wip/declarative
3fd7d1c8
·
Use lhs2TeX's verb style
·
May 20, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
fb63d5a4
·
Remove eta
·
Mar 04, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/refactor-obj
ec7903e4
·
Implementation detail: separate type variables and term variables
·
Jan 30, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/FigureAndBox
dd8e5f20
·
Update application's with local assumptions and TcLevel
·
Jan 08, 2024
rae/haskell!4
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/algorithmic
dd8e5f20
·
Update application's with local assumptions and TcLevel
·
Jan 08, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/CI
ef799d0e
·
Try fix CI
·
Jan 05, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
TcLevel
0f85d7bc
·
Add figure for Unification preconditions judgement
·
Jan 01, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/MakeLHS
87ce860c
·
Rewrote Expressions rules in syntax-directed way (incomplete)
·
Nov 28, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/ExampleAndExplanation
98cbd4f2
·
Add info on VDQ, add bibtex of Dependent Types in Haskell
·
Nov 21, 2023
rae/haskell!3
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/ExpGADTs
bf911c12
·
Add Case, fix substCandid
·
Oct 29, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/FixTypeConstructor
207398ac
·
Fix the problem with Type Constructor
·
Oct 26, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/FunApp
b41b3c25
·
Add abstract judgement for function application
·
Sep 25, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/Bind
48df3e68
·
Add abstract judgements: biFL downFL upFL biFe
·
Sep 24, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/withPatterns
0a3f3438
·
Remove unnecessary grammar from `T`
·
Sep 22, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/Decl
6a2cbd40
·
Remove .Ds_Store from repo
·
Sep 22, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ITVDQt2t
b7965db6
·
Remove unnecessary commented rules, Fix VDQ
·
Sep 21, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
InvariantArrow
4fcfc5ed
·
Remove unnecessary grammar from `T`
·
Sep 21, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
InferenceAlg
dccd3422
·
Update grammar for implementing Inference Algorithm
·
Sep 13, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/Rules
5e109862
·
Add a metaflag to all of the parenthesis productions
·
Sep 11, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/GADTs
8cacbaa6
·
Fix sigma types to include Constraints
·
Sep 09, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next