cc1516.git
8 years ago.
Mart Lubbers [Wed, 13 Apr 2016 19:35:25 +0000 (21:35 +0200)]
.

8 years ago update'
Mart Lubbers [Wed, 13 Apr 2016 18:06:57 +0000 (20:06 +0200)]
 update'

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Wed, 13 Apr 2016 17:52:31 +0000 (19:52 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoFunction parameters
pimjager [Wed, 13 Apr 2016 17:52:24 +0000 (19:52 +0200)]
Function parameters

8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Wed, 13 Apr 2016 17:46:23 +0000 (19:46 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516

8 years agoa
Mart Lubbers [Wed, 13 Apr 2016 17:46:17 +0000 (19:46 +0200)]
a

8 years agoLalalala statements
pimjager [Wed, 13 Apr 2016 17:46:02 +0000 (19:46 +0200)]
Lalalala statements

8 years agosmall cleanup
pimjager [Wed, 13 Apr 2016 17:34:09 +0000 (19:34 +0200)]
small cleanup

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Wed, 13 Apr 2016 17:27:03 +0000 (19:27 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoWorking on statement checking
pimjager [Wed, 13 Apr 2016 17:26:54 +0000 (19:26 +0200)]
Working on statement checking

8 years agot push origin masterMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Wed, 13 Apr 2016 17:21:55 +0000 (19:21 +0200)]
t push origin masterMerge branch 'master' of github.com:dopefishh/cc1516

8 years agooops, eerste presentatie weggegooid
Mart Lubbers [Wed, 13 Apr 2016 17:21:48 +0000 (19:21 +0200)]
oops, eerste presentatie weggegooid

8 years agoAdded function type inference
pimjager [Wed, 13 Apr 2016 17:19:39 +0000 (19:19 +0200)]
Added function type inference

8 years agoWorking on statements
pimjager [Wed, 13 Apr 2016 17:08:31 +0000 (19:08 +0200)]
Working on statements

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Wed, 13 Apr 2016 16:40:52 +0000 (18:40 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoCheckIf statements
pimjager [Wed, 13 Apr 2016 16:40:46 +0000 (18:40 +0200)]
CheckIf statements

8 years agoadd printing for ast
Mart Lubbers [Wed, 13 Apr 2016 16:28:48 +0000 (18:28 +0200)]
add printing for ast

8 years agoAll expression can now be typed.
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.

8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Wed, 13 Apr 2016 11:19:48 +0000 (13:19 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516

8 years agoyay, binary ops
Mart Lubbers [Wed, 13 Apr 2016 11:18:00 +0000 (13:18 +0200)]
yay, binary ops

8 years agoworking on tuping function application
pimjager [Wed, 13 Apr 2016 11:14:53 +0000 (13:14 +0200)]
working on tuping function application

8 years agoUndeclared error en untested function typing
pimjager [Wed, 13 Apr 2016 11:00:56 +0000 (13:00 +0200)]
Undeclared error en untested function typing

8 years agoWOOPWOOP expressies typen, behalve func
pimjager [Wed, 13 Apr 2016 10:34:36 +0000 (12:34 +0200)]
WOOPWOOP expressies typen, behalve func

8 years agoreplace ding in map'
Mart Lubbers [Wed, 13 Apr 2016 10:06:21 +0000 (12:06 +0200)]
replace ding in map'

8 years agoWorking on lists
pimjager [Wed, 13 Apr 2016 09:49:06 +0000 (11:49 +0200)]
Working on lists

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Wed, 13 Apr 2016 09:43:29 +0000 (11:43 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoupdate help'
Mart Lubbers [Wed, 13 Apr 2016 09:45:06 +0000 (11:45 +0200)]
update help'

8 years agolala working on lists
pimjager [Wed, 13 Apr 2016 09:43:25 +0000 (11:43 +0200)]
lala working on lists

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Wed, 13 Apr 2016 09:37:35 +0000 (11:37 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoprint gamma jowww
Mart Lubbers [Wed, 13 Apr 2016 09:37:10 +0000 (11:37 +0200)]
print gamma jowww

8 years agobla working on lists
pimjager [Wed, 13 Apr 2016 09:36:46 +0000 (11:36 +0200)]
bla working on lists

8 years agopolymorf emptylist
pimjager [Wed, 13 Apr 2016 09:17:54 +0000 (11:17 +0200)]
polymorf emptylist

8 years agoAdded some expression typechecking
pimjager [Tue, 12 Apr 2016 22:44:22 +0000 (00:44 +0200)]
Added some expression typechecking

8 years agoMerge branch 'EnvMonad'
pimjager [Tue, 12 Apr 2016 22:19:15 +0000 (00:19 +0200)]
Merge branch 'EnvMonad'

Switch naar monad transformer Either (State)

8 years agoMonadTransformers work
pimjager [Tue, 12 Apr 2016 21:31:47 +0000 (23:31 +0200)]
MonadTransformers work

8 years agoWorking Monad transformer except for Clean not finding an existing instance
pimjager [Tue, 12 Apr 2016 21:24:49 +0000 (23:24 +0200)]
Working Monad transformer except for Clean not finding an existing instance

8 years agobetere gamma
Mart Lubbers [Tue, 12 Apr 2016 20:21:07 +0000 (22:21 +0200)]
betere gamma

8 years agorevent
Mart Lubbers [Tue, 12 Apr 2016 20:01:39 +0000 (22:01 +0200)]
revent

8 years agoMeer falende monads
pimjager [Tue, 12 Apr 2016 20:00:26 +0000 (22:00 +0200)]
Meer falende monads

8 years agoBroken monads
pimjager [Tue, 12 Apr 2016 19:57:28 +0000 (21:57 +0200)]
Broken monads

8 years agoop2
pimjager [Tue, 12 Apr 2016 19:25:30 +0000 (21:25 +0200)]
op2

8 years agosmall update
Mart Lubbers [Sun, 10 Apr 2016 20:05:52 +0000 (22:05 +0200)]
small update

8 years agoadd type of vardecl expr to gamma
Mart Lubbers [Sun, 10 Apr 2016 19:37:58 +0000 (21:37 +0200)]
add type of vardecl expr to gamma

8 years agoadded some type checking stuff. vardecl now works for basictypes and unary operators
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

8 years agoeither binds ftw
Mart Lubbers [Thu, 7 Apr 2016 13:57:47 +0000 (15:57 +0200)]
either binds ftw

8 years agoSem
pimjager [Thu, 7 Apr 2016 13:41:35 +0000 (15:41 +0200)]
Sem

8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 7 Apr 2016 12:45:59 +0000 (14:45 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516

8 years agoBAM
Mart Lubbers [Thu, 7 Apr 2016 12:45:53 +0000 (14:45 +0200)]
BAM

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 7 Apr 2016 11:26:35 +0000 (13:26 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoOntwerpbesluitendocumentje toegevoegd
pimjager [Thu, 7 Apr 2016 11:25:59 +0000 (13:25 +0200)]
Ontwerpbesluitendocumentje toegevoegd

8 years agogrammatica aangepast aan leipe nieuwe functietypes
pimjager [Thu, 7 Apr 2016 10:55:36 +0000 (12:55 +0200)]
grammatica aangepast aan leipe nieuwe functietypes

8 years agomergo
Mart Lubbers [Thu, 7 Apr 2016 10:53:23 +0000 (12:53 +0200)]
mergo

8 years agostart with sem
Mart Lubbers [Thu, 7 Apr 2016 10:52:53 +0000 (12:52 +0200)]
start with sem

8 years agoParser aangepast naar leipe arrowtypes zonder arity
pimjager [Thu, 7 Apr 2016 10:50:31 +0000 (12:50 +0200)]
Parser aangepast naar leipe arrowtypes zonder arity

8 years agosem update'
Mart Lubbers [Thu, 7 Apr 2016 10:27:43 +0000 (12:27 +0200)]
sem update'

8 years agosem
Mart Lubbers [Wed, 23 Mar 2016 19:47:03 +0000 (20:47 +0100)]
sem

8 years agostub for typechecking
Mart Lubbers [Wed, 23 Mar 2016 18:19:41 +0000 (19:19 +0100)]
stub for typechecking

8 years agoup
Mart Lubbers [Thu, 17 Mar 2016 12:49:32 +0000 (13:49 +0100)]
up

8 years agoAdded some stuff to slides
pimjager [Thu, 17 Mar 2016 11:18:17 +0000 (12:18 +0100)]
Added some stuff to slides

8 years agosome small fixes
Mart Lubbers [Thu, 17 Mar 2016 09:36:59 +0000 (10:36 +0100)]
some small fixes

8 years agocleaned up clean.sty
Mart Lubbers [Wed, 16 Mar 2016 17:27:19 +0000 (18:27 +0100)]
cleaned up clean.sty

8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Wed, 16 Mar 2016 17:12:18 +0000 (18:12 +0100)]
Merge branch 'master' of github.com:dopefishh/cc1516

Conflicts:
deliverables/p1/pre.tex

8 years agoclean.sty
Mart Lubbers [Wed, 16 Mar 2016 17:06:04 +0000 (18:06 +0100)]
clean.sty

8 years agoWierd -> Weird
pimjager [Wed, 16 Mar 2016 12:39:46 +0000 (13:39 +0100)]
Wierd -> Weird

8 years agoupdated that the parser fails when parsing not everything
Mart Lubbers [Wed, 16 Mar 2016 12:25:03 +0000 (13:25 +0100)]
updated that the parser fails when parsing not everything

8 years agosmall fix
Mart Lubbers [Wed, 16 Mar 2016 10:23:19 +0000 (11:23 +0100)]
small fix

8 years agoremoved pdf and finished up the slides
Mart Lubbers [Wed, 16 Mar 2016 10:19:36 +0000 (11:19 +0100)]
removed pdf and finished up the slides

8 years agoadded some slides
Mart Lubbers [Wed, 16 Mar 2016 09:55:53 +0000 (10:55 +0100)]
added some slides

8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Mon, 14 Mar 2016 22:33:53 +0000 (23:33 +0100)]
Merge branch 'master' of github.com:dopefishh/cc1516

8 years agofixed nasty pretty print bug, added selftest to readme
Mart Lubbers [Mon, 14 Mar 2016 22:33:44 +0000 (23:33 +0100)]
fixed nasty pretty print bug, added selftest to readme

8 years agowerkverdeling presentatie toegevoegd
pimjager [Mon, 14 Mar 2016 20:27:07 +0000 (21:27 +0100)]
werkverdeling presentatie toegevoegd

8 years agooutline voor presentatie
Mart Lubbers [Mon, 14 Mar 2016 20:13:34 +0000 (21:13 +0100)]
outline voor presentatie

8 years agoquick fix
Mart Lubbers [Mon, 14 Mar 2016 19:54:43 +0000 (20:54 +0100)]
quick fix

8 years agoadded command line option for selftest, still needs to implement
Mart Lubbers [Sat, 12 Mar 2016 16:38:51 +0000 (17:38 +0100)]
added command line option for selftest, still needs to implement

8 years agoAdded position info to the AST for function declarations, var declarations and expres...
pimjager [Fri, 11 Mar 2016 16:44:38 +0000 (17:44 +0100)]
Added position info to the AST for function declarations, var declarations and expressions

8 years agoRewrote some LiftM's to <$> and <*> for clarity
pimjager [Fri, 11 Mar 2016 15:38:39 +0000 (16:38 +0100)]
Rewrote some LiftM's to <$> and <*> for clarity

8 years agoexternalized ast
Mart Lubbers [Thu, 3 Mar 2016 14:11:03 +0000 (15:11 +0100)]
externalized ast

8 years agoding
Mart Lubbers [Thu, 3 Mar 2016 13:40:39 +0000 (14:40 +0100)]
ding

8 years agofixed mac envs
pimjager [Thu, 3 Mar 2016 13:31:13 +0000 (14:31 +0100)]
fixed mac envs

8 years agoclean up some more'
Mart Lubbers [Thu, 3 Mar 2016 09:24:37 +0000 (10:24 +0100)]
clean up some more'

8 years ago.
Mart Lubbers [Thu, 3 Mar 2016 07:31:44 +0000 (08:31 +0100)]
.

8 years agosmall cleanup
Mart Lubbers [Wed, 2 Mar 2016 17:42:46 +0000 (18:42 +0100)]
small cleanup

8 years agoupdated directory structure
Mart Lubbers [Wed, 2 Mar 2016 16:19:13 +0000 (17:19 +0100)]
updated directory structure

8 years agotype
Mart Lubbers [Wed, 2 Mar 2016 16:18:02 +0000 (17:18 +0100)]
type

8 years agoupdate README
Mart Lubbers [Wed, 2 Mar 2016 16:17:37 +0000 (17:17 +0100)]
update README

8 years agoupdated gitignore, licence added, project updated
Mart Lubbers [Wed, 2 Mar 2016 16:16:53 +0000 (17:16 +0100)]
updated gitignore, licence added, project updated

8 years agoenvs files gemaakt, geen sapl meer(eindelijk), readme
Mart Lubbers [Wed, 2 Mar 2016 16:07:10 +0000 (17:07 +0100)]
envs files gemaakt, geen sapl meer(eindelijk), readme

8 years agoman toegevoegd, mapjes gemaakt, bijna klaar voor inleveren
Mart Lubbers [Wed, 2 Mar 2016 14:31:04 +0000 (15:31 +0100)]
man toegevoegd, mapjes gemaakt, bijna klaar voor inleveren

8 years agolexer met line numbers
Mart Lubbers [Wed, 2 Mar 2016 13:43:35 +0000 (14:43 +0100)]
lexer met line numbers

8 years agohoig
Mart Lubbers [Wed, 2 Mar 2016 08:49:47 +0000 (09:49 +0100)]
hoig

8 years ago<?> now accepts complete Errors
pimjager [Tue, 1 Mar 2016 21:23:15 +0000 (22:23 +0100)]
<?> now accepts complete Errors

8 years agobetter lexer
Mart Lubbers [Tue, 1 Mar 2016 15:41:54 +0000 (16:41 +0100)]
better lexer

8 years agolexer done
Mart Lubbers [Tue, 1 Mar 2016 15:38:56 +0000 (16:38 +0100)]
lexer done

8 years agocomments parsen is kapot
Mart Lubbers [Tue, 1 Mar 2016 14:48:55 +0000 (15:48 +0100)]
comments parsen is kapot

Signed-off-by: Mart Lubbers <mart@martlubbers.net>
8 years agofixed until inline, comments more clean
Mart Lubbers [Tue, 1 Mar 2016 11:03:02 +0000 (12:03 +0100)]
fixed until inline, comments more clean

8 years agoComments kunnen nu eindigen met een EOF ipv newline
pimjager [Tue, 1 Mar 2016 10:25:49 +0000 (11:25 +0100)]
Comments kunnen nu eindigen met een EOF ipv newline

8 years agoComments nu mogelijk
pimjager [Tue, 1 Mar 2016 10:14:42 +0000 (11:14 +0100)]
Comments nu mogelijk

8 years agoAdded until operator
pimjager [Tue, 1 Mar 2016 10:14:12 +0000 (11:14 +0100)]
Added until operator

8 years agolexen zonder comments
Mart Lubbers [Mon, 29 Feb 2016 19:30:07 +0000 (20:30 +0100)]
lexen zonder comments

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Mon, 29 Feb 2016 19:25:58 +0000 (20:25 +0100)]
Merge branch 'master' of https://github.com/dopefishh/cc1516