Giter Club home page Giter Club logo

info2-ocaml's Introduction

Functional Programming and Verification (IN0003)

Setup

We provide a virtual machine where everything is already set up, there's also a video on how to use it (see Moodle).

If you don't want to use the virtual machine, run ./setup.sh (Debian/Ubuntu/WSL, replace your package manager, e.g., brew on macOS). This makes sure that you have OCaml and some packages installed via opam. As an editor we recommend using Visual Studio Code with extension (or vim/emacs if you know it). All Linux and macOS work, under Windows use WSL and this extension.

Usage

Use git pull to get the new exercise files (and templates for the homework) every week (or more often if we need to fix something). You can use git log --patch to keep track of changes. If you use the provided virtual machine, there will be a little downward-arrow indicating that you should pull online changes. If you want, you can push your solutions to a private repository (if you want to avoid merging, rename your solutions). To submit your homework, upload your .ml file(s) to Moodle.

There will be some basic tests provided with the homeworks. For grading, more elaborate tests will be run on your submissions after the deadline. You can test your homework by just executing the corresponding file, e.g., ocaml hw05.ml (set up as the default build task (ctrl+shift+b) in .vscode/).

Resources

Slides are available on the lecture website. Use Piazza for questions!

info2-ocaml's People

Contributors

xiaolinmaicc avatar

Watchers

 avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.