cad0p

with open('./TextSubstitutions.plist', 'rb') as _plist:
	with open('./TextSubstitutions.csv', 'w') as _csv:
		plistfile = plistlib.load(_plist)
		csvfile = csv.DictWriter(_csv, fieldnames=['shortcut', 'phrase'])
		csvfile.writeheader()
		for data in plistfile:
			csvfile.writerow(data)

cad0p

I built a decorator with the memoize idea: it will take care of your system recursion limit, and avoid it by splitting calculation in batches that are as large as the system can offer. It will also of course remember all the values for easy retrieval

Short working version:

import sys
from math import floor, ceil

def memoize(f):
    memo = [None]

cad0p

import json
import matplotlib.pyplot as plt


def plot_polygon(coord):
	xs, ys = zip(*coord)  # create lists of x and y values
	plt.figure()
	plt.plot(xs, ys)
	plt.show()

cad0p

module TestExer-cad0p where

import Exercise
open Exercise

--- PREREQUISITES -----

-- You need to add this line at the top of Exercise.agda :