Skip to content

Instantly share code, notes, and snippets.

Avatar

Priyatam Mudi priyatam

View GitHub Profile
@priyatam
priyatam / machine.clj
Created Nov 20, 2015 — forked from zahardzhan/machine.clj
Turing machine in Clojure
View machine.clj
;;; -*- mode: clojure; coding: utf-8 -*-
;;; author: Roman Zaharov <zahardzhan@gmail.com>
(ns clojure.turing-machine.machine)
(in-ns 'clojure.turing-machine.machine)
(defn convert-rules [rules]
(apply conj [] (for [rule rules :let [[state read jump write move] rule]]
{:state state :read read :jump jump :write write :move move})))
@priyatam
priyatam / inference.rkt
Created May 24, 2017 — forked from jrslepak/inference.rkt
Type inference in Typed Racket
View inference.rkt
#lang typed/racket
;;; Typed Racket version of Martin Grabmü̈ller's "Algorithm W Step by Step"
;;; http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.7733
;;; This is my first use of Typed Racket. I am looking to change this from
;;; following Haskell idiom to following Racket idiom.
;; An expression is a variable, a literal, an application,
You can’t perform that action at this time.