pimjager [Thu, 5 May 2016 16:27:12 +0000 (18:27 +0200)]
Small improvements, some errors here and there
pimjager [Thu, 5 May 2016 14:24:49 +0000 (16:24 +0200)]
Type inference for functions works YAAAY
pimjager [Thu, 5 May 2016 11:09:41 +0000 (13:09 +0200)]
type instance for FunDecl
pimjager [Mon, 2 May 2016 14:32:18 +0000 (16:32 +0200)]
infer voor statements
pimjager [Fri, 29 Apr 2016 16:12:20 +0000 (18:12 +0200)]
Working on inference for statements
pimjager [Fri, 29 Apr 2016 15:07:31 +0000 (17:07 +0200)]
infer for FunExpr
pimjager [Thu, 28 Apr 2016 19:07:13 +0000 (21:07 +0200)]
Working on algorithm M
pimjager [Thu, 28 Apr 2016 18:39:23 +0000 (20:39 +0200)]
Started working on algorithm M
pimjager [Thu, 28 Apr 2016 16:32:13 +0000 (18:32 +0200)]
Added Typing Monad and instantiate
pimjager [Thu, 28 Apr 2016 15:59:20 +0000 (17:59 +0200)]
hi
pimjager [Thu, 28 Apr 2016 14:51:52 +0000 (16:51 +0200)]
Finished algorithm U
pimjager [Thu, 28 Apr 2016 14:31:09 +0000 (16:31 +0200)]
Start of algorithm U
pimjager [Mon, 25 Apr 2016 19:03:57 +0000 (21:03 +0200)]
infer voor expressions afgemaakt
Mart Lubbers [Sat, 23 Apr 2016 13:27:17 +0000 (15:27 +0200)]
meer
Mart Lubbers [Sat, 23 Apr 2016 12:35:25 +0000 (14:35 +0200)]
liftT toegevoegd
Mart Lubbers [Fri, 22 Apr 2016 11:30:32 +0000 (13:30 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Fri, 22 Apr 2016 11:28:25 +0000 (13:28 +0200)]
sanity checks
pimjager [Fri, 22 Apr 2016 11:21:05 +0000 (13:21 +0200)]
Added op1Type function
pimjager [Fri, 22 Apr 2016 11:19:56 +0000 (13:19 +0200)]
Added op2type function
Mart Lubbers [Fri, 22 Apr 2016 10:08:38 +0000 (12:08 +0200)]
HIGHER ORDER FUNCTIONS!!!!!1!11!!1one!1eleven
pimjager [Fri, 22 Apr 2016 10:06:31 +0000 (12:06 +0200)]
Merge branch 'generation'
pimjager [Fri, 22 Apr 2016 09:55:14 +0000 (11:55 +0200)]
ontwerpbesluiten aagepast
Mart Lubbers [Fri, 22 Apr 2016 09:45:55 +0000 (11:45 +0200)]
hoi
Mart Lubbers [Wed, 20 Apr 2016 14:29:35 +0000 (16:29 +0200)]
small update, inference
Mart Lubbers [Fri, 15 Apr 2016 16:49:15 +0000 (18:49 +0200)]
started with new typechecker
Mart Lubbers [Fri, 15 Apr 2016 08:20:47 +0000 (10:20 +0200)]
RWS done
Mart Lubbers [Fri, 15 Apr 2016 08:15:15 +0000 (10:15 +0200)]
rwst done, rws to go
Mart Lubbers [Thu, 14 Apr 2016 11:31:40 +0000 (13:31 +0200)]
t push origni msatMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 14 Apr 2016 11:31:25 +0000 (13:31 +0200)]
update gitignore
pimjager [Thu, 14 Apr 2016 11:28:50 +0000 (13:28 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 14 Apr 2016 11:28:41 +0000 (13:28 +0200)]
Presentationf inished
Mart Lubbers [Thu, 14 Apr 2016 11:28:18 +0000 (13:28 +0200)]
rwst
pimjager [Thu, 14 Apr 2016 10:51:57 +0000 (12:51 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 14 Apr 2016 10:51:46 +0000 (12:51 +0200)]
Presentation
Mart Lubbers [Thu, 14 Apr 2016 09:45:38 +0000 (11:45 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 14 Apr 2016 09:45:29 +0000 (11:45 +0200)]
hoi
pimjager [Thu, 14 Apr 2016 09:24:05 +0000 (11:24 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 14 Apr 2016 09:21:29 +0000 (11:21 +0200)]
working on presentation
Mart Lubbers [Thu, 14 Apr 2016 09:21:07 +0000 (11:21 +0200)]
hoi'
git push oi
pimjager [Thu, 14 Apr 2016 07:56:09 +0000 (09:56 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
Mart Lubbers [Thu, 14 Apr 2016 07:56:33 +0000 (09:56 +0200)]
hoi
pimjager [Thu, 14 Apr 2016 07:55:43 +0000 (09:55 +0200)]
Presentation
Mart Lubbers [Thu, 14 Apr 2016 07:06:27 +0000 (09:06 +0200)]
hi
Mart Lubbers [Thu, 14 Apr 2016 06:58:55 +0000 (08:58 +0200)]
added argument mismatch
Mart Lubbers [Thu, 14 Apr 2016 06:45:01 +0000 (08:45 +0200)]
small update so that retyping works
Mart Lubbers [Wed, 13 Apr 2016 20:37:41 +0000 (22:37 +0200)]
update
Mart Lubbers [Wed, 13 Apr 2016 20:14:59 +0000 (22:14 +0200)]
-
Mart Lubbers [Wed, 13 Apr 2016 20:13:38 +0000 (22:13 +0200)]
added type to sem.icl =/=
Mart Lubbers [Wed, 13 Apr 2016 20:09:12 +0000 (22:09 +0200)]
Merge branch 'mastert push ' of github.com:dopefishh/cc1516
Mart Lubbers [Wed, 13 Apr 2016 20:09:04 +0000 (22:09 +0200)]
.
pimjager [Wed, 13 Apr 2016 19:50:25 +0000 (21:50 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Wed, 13 Apr 2016 19:49:06 +0000 (21:49 +0200)]
Ontwerpbesluit toegevoegd dat functies pas na decla beschikbaar zijn
Mart Lubbers [Wed, 13 Apr 2016 19:35:32 +0000 (21:35 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Wed, 13 Apr 2016 19:35:25 +0000 (21:35 +0200)]
.
pimjager [Wed, 13 Apr 2016 19:01:50 +0000 (21:01 +0200)]
Added examples from markus
pimjager [Wed, 13 Apr 2016 18:55:00 +0000 (20:55 +0200)]
Checking assignments
Mart Lubbers [Wed, 13 Apr 2016 18:06:57 +0000 (20:06 +0200)]
update'
pimjager [Wed, 13 Apr 2016 17:52:31 +0000 (19:52 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Wed, 13 Apr 2016 17:52:24 +0000 (19:52 +0200)]
Function parameters
Mart Lubbers [Wed, 13 Apr 2016 17:46:23 +0000 (19:46 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Wed, 13 Apr 2016 17:46:17 +0000 (19:46 +0200)]
a
pimjager [Wed, 13 Apr 2016 17:46:02 +0000 (19:46 +0200)]
Lalalala statements
pimjager [Wed, 13 Apr 2016 17:34:09 +0000 (19:34 +0200)]
small cleanup
pimjager [Wed, 13 Apr 2016 17:27:03 +0000 (19:27 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Wed, 13 Apr 2016 17:26:54 +0000 (19:26 +0200)]
Working on statement checking
Mart Lubbers [Wed, 13 Apr 2016 17:21:55 +0000 (19:21 +0200)]
t push origin masterMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Wed, 13 Apr 2016 17:21:48 +0000 (19:21 +0200)]
oops, eerste presentatie weggegooid
pimjager [Wed, 13 Apr 2016 17:19:39 +0000 (19:19 +0200)]
Added function type inference
pimjager [Wed, 13 Apr 2016 17:08:31 +0000 (19:08 +0200)]
Working on statements
pimjager [Wed, 13 Apr 2016 16:40:52 +0000 (18:40 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Wed, 13 Apr 2016 16:40:46 +0000 (18:40 +0200)]
CheckIf statements
Mart Lubbers [Wed, 13 Apr 2016 16:28:48 +0000 (18:28 +0200)]
add printing for ast
pimjager [Wed, 13 Apr 2016 13:17:54 +0000 (15:17 +0200)]
All expression can now be typed.
Functions are now typed before expressions. This gives the program the form
let <fundecls> in <vardecls>
This leaves stuff such as mutal rucursion etc.
Mart Lubbers [Wed, 13 Apr 2016 11:19:48 +0000 (13:19 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Wed, 13 Apr 2016 11:18:00 +0000 (13:18 +0200)]
yay, binary ops
pimjager [Wed, 13 Apr 2016 11:14:53 +0000 (13:14 +0200)]
working on tuping function application
pimjager [Wed, 13 Apr 2016 11:00:56 +0000 (13:00 +0200)]
Undeclared error en untested function typing
pimjager [Wed, 13 Apr 2016 10:34:36 +0000 (12:34 +0200)]
WOOPWOOP expressies typen, behalve func
Mart Lubbers [Wed, 13 Apr 2016 10:06:21 +0000 (12:06 +0200)]
replace ding in map'
pimjager [Wed, 13 Apr 2016 09:49:06 +0000 (11:49 +0200)]
Working on lists
pimjager [Wed, 13 Apr 2016 09:43:29 +0000 (11:43 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
Mart Lubbers [Wed, 13 Apr 2016 09:45:06 +0000 (11:45 +0200)]
update help'
pimjager [Wed, 13 Apr 2016 09:43:25 +0000 (11:43 +0200)]
lala working on lists
pimjager [Wed, 13 Apr 2016 09:37:35 +0000 (11:37 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
Mart Lubbers [Wed, 13 Apr 2016 09:37:10 +0000 (11:37 +0200)]
print gamma jowww
pimjager [Wed, 13 Apr 2016 09:36:46 +0000 (11:36 +0200)]
bla working on lists
pimjager [Wed, 13 Apr 2016 09:17:54 +0000 (11:17 +0200)]
polymorf emptylist
pimjager [Tue, 12 Apr 2016 22:44:22 +0000 (00:44 +0200)]
Added some expression typechecking
pimjager [Tue, 12 Apr 2016 22:19:15 +0000 (00:19 +0200)]
Merge branch 'EnvMonad'
Switch naar monad transformer Either (State)
pimjager [Tue, 12 Apr 2016 21:31:47 +0000 (23:31 +0200)]
MonadTransformers work
pimjager [Tue, 12 Apr 2016 21:24:49 +0000 (23:24 +0200)]
Working Monad transformer except for Clean not finding an existing instance
Mart Lubbers [Tue, 12 Apr 2016 20:21:07 +0000 (22:21 +0200)]
betere gamma
Mart Lubbers [Tue, 12 Apr 2016 20:01:39 +0000 (22:01 +0200)]
revent
pimjager [Tue, 12 Apr 2016 20:00:26 +0000 (22:00 +0200)]
Meer falende monads
pimjager [Tue, 12 Apr 2016 19:57:28 +0000 (21:57 +0200)]
Broken monads
pimjager [Tue, 12 Apr 2016 19:25:30 +0000 (21:25 +0200)]
op2
Mart Lubbers [Sun, 10 Apr 2016 20:05:52 +0000 (22:05 +0200)]
small update
Mart Lubbers [Sun, 10 Apr 2016 19:37:58 +0000 (21:37 +0200)]
add type of vardecl expr to gamma
Mart Lubbers [Fri, 8 Apr 2016 18:03:33 +0000 (20:03 +0200)]
added some type checking stuff. vardecl now works for basictypes and unary operators
Mart Lubbers [Thu, 7 Apr 2016 13:57:47 +0000 (15:57 +0200)]
either binds ftw
repositories / cc1516.git / log