Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Type check definitions without pattern matching #20

Open
ice1000 opened this issue Nov 27, 2018 · 2 comments
Open

Type check definitions without pattern matching #20

ice1000 opened this issue Nov 27, 2018 · 2 comments
Assignees
@ice1000
Labels
status: in progress Work in progress, don't hurry lol type-checking Sole of a programming language
Milestone
0.1.0

Comments

@ice1000
Copy link
Member

ice1000 commented Nov 27, 2018

No description provided.

@ice1000 ice1000 added the type-checking Sole of a programming language label Nov 27, 2018
@ice1000 ice1000 added this to the 0.1.0 milestone Nov 27, 2018
@ice1000 ice1000 self-assigned this Nov 27, 2018
ice1000 added a commit that referenced this issue Nov 27, 2018
@ice1000
[ #20 ] Refactor AbstractSyntaxTree, some basics
21bfa98
@ice1000 ice1000 added the status: in progress Work in progress, don't hurry lol label Nov 27, 2018
@ice1000
Copy link
Member Author

ice1000 commented Nov 28, 2018

I need update hs plugin icon, too bad dude
cabal 2x
hs
hs 2x
cabal

@ice1000
Copy link
Member Author

ice1000 commented Dec 5, 2018

I think I should use Luo's UTT typing rules directly.

@ice1000 ice1000 mentioned this issue Dec 5, 2018
Closed
ice1000 added a commit that referenced this issue Dec 20, 2018
@ice1000
[ #20 ] Some basic works
bb3cd73
ice1000 added a commit that referenced this issue Dec 20, 2018
@ice1000
[ #20 ] More basic works
f49fb3b
ice1000 added a commit that referenced this issue Dec 22, 2018
@ice1000
[ #20 ] Resolve builtin definitions
7f21f28
ice1000 added a commit that referenced this issue Dec 24, 2018
@ice1000
[ #20 ] I don't know what to do
55a4468
ice1000 added a commit that referenced this issue Jan 29, 2019
@ice1000
[ #20 ] Initial work
b0aa0c8
ice1000 added a commit that referenced this issue Jan 29, 2019
@ice1000
[ #20 ] More typechecking
db1348d
@ice1000 ice1000 modified the milestones: Haskell, 0.1.0 Feb 18, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ice1000 ice1000

Labels
status: in progress Work in progress, don't hurry lol type-checking Sole of a programming language
Projects
None yet
Milestone
0.1.0
Development

No branches or pull requests
1 participant
@ice1000